theory of computation gate